<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN" "http://www.w3.org/TR/html4/frameset.dtd">
<html>
<frameset rows="20%,80%">
	<frame name="controller" id="controller" src="controller.php">
	<frame name="test_arena" id="test_arena">
</frameset>
</html>